Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
841	Proving Goal Achievability Fangzhen Lin Department of Computer Science and Engineering Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:16:26 Model theory Logic programming Situation calculus Function First-order logic Interpretation Mathematical logic Logic Mathematics
842	Discovering Classes of Strongly Equivalent Logic Programs∗ Fangzhen Lin Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2005-05-27 05:14:47 Philosophical logic Logic in computer science Model theory Modal logic First-order logic Stable model semantics Intuitionistic logic Propositional calculus Theorem Logic Mathematical logic Non-classical logic
843	Minimum and maximum against k lies Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-12-09 16:50:52 Applied mathematics Selection algorithm Merge sort Algorithm Quicksort Randomized algorithm Minimum spanning tree Mathematics Sorting algorithms Order theory
844	LectureNotesWithBlanks_14_FA08 Add to Reading List Source URL: www.chemistry2011.org Language: English - Date: 2013-03-09 12:30:39 Molecular orbital Antibonding Chemical bond Bond order Linear combination of atomic orbitals Valence bond theory Sigma bond Atomic orbital Electron configuration Chemistry Chemical bonding Quantum chemistry
845	Concrete and Abstract Interpretation: Better Together Maria Jenkins Leif Andersen Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-11-04 14:23:47 Abstract interpretation Galois connection Order theory Model theory Galois theory Structure Abstract algebra Mathematics Algebra
846	Today 1. Add top-level function defines to the Book language not in the book Before we implement local functions... Top-Level Procedure Definitions Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Filter theory Signal processing Filter General topology Order theory Scheme Electronic filter T Electronic engineering Electronics Electromagnetism
847	Metric Embeddings with Relaxed Guarantees Ittai Abraham∗ Yair Bartal∗ Jon Kleinberg‡ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-08-11 23:49:40 Category theory Differential topology Embedding General topology Order theory Planar graph Doubling measure Mathematics Topology Mathematical analysis
848	Crowd-scale Interactive Formal Reasoning and Analytics Ethan Fast1 , Colleen Lee1 , Alex Aiken1 , Michael Bernstein1 , Daphne Koller1 , Eric Smith2 Stanford University1 , Kestrel Institute2 {ethan.fast, clee0, aiken, msb Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-07-11 01:52:09 Proof theory Automated theorem proving Mathematical logic Theorem Formal proof First-order logic LL parser Parsing Syntax Logic Logical syntax Formal languages
849	New Rules for Domain Independent Lifted MAP Inference Happy Mittal, Prasoon Goyal Dept. of Comp. Sci. & Engg. I.I.T. Delhi, Hauz Khas New Delhi, 110016, India Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-10-31 21:58:08 Model theory Predicate logic Propositional calculus Theoretical computer science First-order logic Markov logic network Interpretation Function Atomic formula Logic Mathematical logic Mathematics
850	The discourse function of object marking in Swahili and Makhuwa narratives Teresa Poeta Proceedings of Conference on Language Documentation and Linguistic Theory 4 Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2014-11-06 08:39:56 Makua languages Languages of Tanzania Bantu languages Makhuwa language Swahili language Grammatical number Word order Mozambique Noun class Linguistics Syntax Languages of Mozambique

UPDATE